s-net相关论文
Petri网的进程是用于系统行为和状态描述的有效工具，但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-N的进......
Petri网的进程是用于系统行为和状态描述的有效工具，Petri网的进程表达式可以给出系统全部进程的描述，但是对于任意无界Petri网而言......
文章拓展了Petri网同步合成运算的概念,并讨论了拓展后的同步合成运算满足的语言性质.证明了任意Petri网∑都可由一组S-网通过同步......
紧性概念是泛函分析的重要内容,在现代分析学中应用广泛;考虑l^p,p≥2空间上的集合紧性问题,证明了M■l^p为预紧集的重要条件是M一......
Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基......
